Qualitative and Quantitative Reasoning About Thermodynamics
نویسندگان
چکیده
One goal of qualitative physics is to capture the mental models of engineers and scientists . This paper shows how Qualitative Process theory can be used to express concepts of engineering thermodynamics . This encoding provides the means to integrate qualitative and quantitative knowledge for solving textbook thermodynamics problems . These ideas have been implemented in a program called SCHISM, which analyzes thermodynamic cycles, such as gas turbine plants and steam power plants . We describe its analysis of a sample textbook problem and discuss our plans for future work.
منابع مشابه
Factors affecting clinical reasoning of occupational therapists: a qualitative study
Background: Clinical reasoning is generally defined as the numerous modes of thinking that guide clinical practice but little is known about the factors affecting how occupational therapists manage the decision-making process. The aim of this qualitative study was to explore the factors influencing the clinical reasoning of occupational therapists. Methods: Twelve occupational therapy pr...
متن کاملHeat - Flow Heat - Flow Heat - Flow
Choosing between multiple ontological perspectives is crucial for reasoning about the physical world. Choosing the wrong perspective can make a reasoning task impossible. This paper introduces a Lagrangian plug flow ontology (PF) for reasoning about thermodynamic fluid flow. We show that this ontology captures continuously changing behaviors of flowing fluids not represented in currently implem...
متن کاملMixed Qualitative/Quantitative Dynamic Simulation of Processing Systems
In this article the methodology proposed by Li and Wang for mixed qualitative and quantitative modeling and simulation of temporal behavior of processing unit is reexamined and extended to more complex case. The main issue of their approach considers the multivariate statistics of principal component analysis (PCA), along with clustered fuzzy digraphs and reasoning. The PCA and fuz...
متن کاملSparQ - A Spatial Reasoning Toolbox
SparQ is a toolbox for qualitative spatial reasoning. Interpreting reasoning in a broad sense, SparQ covers mapping information from quantitative to qualitative, applying constraint reasoning to qualitative information, reasoning about calculi, and mapping qualitative information back to the quantitative domain. The toolbox is designed for extensibility and released under the GNU GPL public lic...
متن کاملThe Connection between Logical and Thermodynamical Irreversibility
There has recently been a good deal of controversy about Landauer’s Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kT ln 2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005)...
متن کامل